HPC‐GAP: engineering a 21st‐century high‐performance computer algebra system
نویسندگان
چکیده
منابع مشابه
A Computer Algebra System
Systems of polynomial equations appear throughout mathematics, science, and engineering, but solving them is widely considered to be part of numerical analysis, not computer algebra or algebraic geometry. Due to rounding errors, though, purely numerical methods often are unstable in unpredictable ways. They usually don’t find all solutions and frequently have problems with overdetermined system...
متن کاملComputer Algebra Systems in Engineering Education
This paper discusses the use of Computer Algebra Systems (CAS) in engineering education. A brief overview of the challenges and problems of computer and network-based lecturing and distance learning is given. From this general point of view, the power and limitations of CAS as systems for doing mathematics and simulations; calculators with infinite precision; teaching-tools for non-trivial exam...
متن کاملDisCAS: A Distributed-Parallel Computer Algebra System
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra system developed to support Wu’s method for computing characteristic sets of polynomials and for other related operations. GridPPI, an MPI-like interface for grid computing, could couple multiple computing tools distr...
متن کاملA Type System for Computer Algebra
This paper presents a type system for support of subtypes, parameterized types with sharing and categoriesin a computeralgebra environment.By modelingrepresentationof instances in terms of existential types, we obtain a simpliied model, and build a basis for deening subtyping among algebraic domains. The inheritance at category level has been formalized; this allows the automatic inference of t...
متن کاملEvaluation of a Java Computer Algebra System
This paper evaluates the suitability of Java as an implementation language for the foundations of a computer algebra library. The design of basic arithmetic and multivariate polynomial interfaces and classes have been presented in [1]. The library is type-safe due to its design with Java’s generic type parameters and thread-safe using Java’s concurrent programming facilities. We evaluate some k...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concurrency and Computation: Practice and Experience
سال: 2016
ISSN: 1532-0626,1532-0634
DOI: 10.1002/cpe.3746